#include <stdio.h>
int main() {
	int ck = 1000;
	double lx = ck * 0.05;
	printf("%lf",ck+lx);
	return 0;
}